#include <stdint.h>
#include "globals.h"

#include "startup.c"

void do_hello();

int call() {
  return g_OBJS[0].call1(g_OBJS[0].id) + g_OBJS[1].call1(g_OBJS[1].id);
}

int main(int argc, char* argv[]) {
  do_hello();
  if (call() != 18) {
    puts("Failed.\n");
    exit(1);
  }

  puts("Success.\n");
  exit(0);
}

